-- MAIN == ERROR at global: execution aborted in function MAIN
DEF MAIN:nat == IF false THEN 2 FI
